home *** CD-ROM | disk | FTP | other *** search
/ Whiteline: delta / whiteline CD Series - delta.iso / tex / style / misc / zmacros.tex / node4_mn.html < prev    next >
Text File  |  1995-11-25  |  3KB  |  70 lines
  1.  
  2. <H1><A ID="SECTION00040000000000000000">
  3. Other mathematical displays</A>
  4. </H1>
  5.  
  6. <P>
  7. The <tex2html_verb_mark>19<tex2html_verb_mark> environment can be used to set multi-line formulas without
  8. an enclosing box: it is useful for given-set declarations, theorems, and the
  9. miscellaneous bits of mathematics that don't come in a box:
  10. <BR>
  11. <tex2html_image_mark>#zed51#
  12. <BR>
  13. is printed from the input
  14. <BLOCKQUOTE>
  15. </BLOCKQUOTE><PRE><tex2html_verbatim_mark>verbatim13#</PRE><BLOCKQUOTE>
  16. </BLOCKQUOTE>
  17. The formula <tex2html_verb_mark>20<tex2html_verb_mark> may be abbreviated to
  18. <tex2html_verb_mark>21<tex2html_verb_mark>; the <tex2html_verb_mark>22<tex2html_verb_mark> environment is a generalization of the
  19. <tex2html_verb_mark>23<tex2html_verb_mark> environment of L<SUP><SMALL>A</SMALL></SUP>T<SMALL>E</SMALL>X, so this redefinition of
  20. commands is fairly benign. Notice that the maths is set flush left on the
  21. same indentation as schemas and their friends.
  22. Here too you can use <tex2html_verb_mark>24<tex2html_verb_mark> for a little extra space
  23. between lines.
  24.  
  25. <P>
  26. For algebraic-style proofs, there is the <tex2html_verb_mark>25<tex2html_verb_mark> environment.
  27. This is like the <tex2html_verb_mark>26<tex2html_verb_mark> environment, but the separation between
  28. lines is increased a little, and page breaks may occur between lines.
  29. The intended use is for arguments like this:
  30. <BR>
  31. <tex2html_image_mark>#argue57#
  32. <BR>
  33. Here, again, is the input:
  34. <BLOCKQUOTE>
  35. </BLOCKQUOTE><PRE><tex2html_verbatim_mark>verbatim14#</PRE><BLOCKQUOTE>
  36. </BLOCKQUOTE>
  37. When the left-hand side is long, I find this style better than the
  38. L<SUP><SMALL>A</SMALL></SUP>T<SMALL>E</SMALL>X <tex2html_verb_mark>27<tex2html_verb_mark> style, which wastes a lot of space.
  39.  
  40. <P>
  41. Another brand of box is the inference rule; the rule
  42. <BR>
  43. <tex2html_image_mark>#infrule64#
  44. <BR>
  45. comes from the input
  46. <BLOCKQUOTE>
  47. </BLOCKQUOTE><PRE><tex2html_verbatim_mark>verbatim15#</PRE><BLOCKQUOTE>
  48. </BLOCKQUOTE>
  49. Note the optional argument to <tex2html_verb_mark>28<tex2html_verb_mark>: it is a side-condition of
  50. the rule.
  51.  
  52. <P>
  53. Finally, there's the <tex2html_verb_mark>29<tex2html_verb_mark> environment, used for
  54. making displays like this:
  55. <BR>
  56. <tex2html_image_mark>#syntax70#
  57. <BR>
  58. from input like this:
  59. <BLOCKQUOTE>
  60. </BLOCKQUOTE><PRE><tex2html_verbatim_mark>verbatim16#</PRE><BLOCKQUOTE>
  61. </BLOCKQUOTE>
  62. This kind of thing is useful when you're describing a language,
  63. and it can also be used for data-type definitions.
  64. I've even---time for a confession---used it once for a fragment
  65. of VDM.
  66. The final column is optional:
  67. just omit the third <tex2html_verb_mark>30<tex2html_verb_mark> if you don't want it.
  68.  
  69. <P>
  70.